Programming Research Group

Asakura et al. received the IPSJ Outstanding Paper Award

The paper entitled “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” by Asakura, Masuhara and Aotani, received the 2018 IPSJ Outstanding Paper Award.

• Izumi Asakura, Hidehiko Masuhara and Tomoyuki Aotani, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq, Journal of Information Processing, 24(1)132-140, IPSJ 2016.